Basic science

Results: 4014



#Item
541

BRICS Basic Research in Computer Science BRICS RSP. Quaglia: On the Finitary Characterization of π-Congruences On the Finitary Characterization of

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1998-01-20 09:16:44
    542

    Promotion of Basic Research 3.2 Strategic Priority Setting in Science and Technology

    Add to Reading List

    Source URL: www.mext.go.jp

    Language: English - Date: 2015-04-20 21:07:10
      543

      BRICS Basic Research in Computer Science BRICS RSU. Nestmann: What Is a ‘Good’ Encoding of Guarded Choice? What Is a ‘Good’ Encoding of

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 1998-01-12 09:29:53
        544

        BRICS Basic Research in Computer Science ´ BRICS RSBloom & Esik: Some Remarks on Regular Words

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2002-10-25 07:19:58
          545

          BRICS Basic Research in Computer Science BRICS RSAceto & Laroussinie: Is your Model Checker on Time? Is your Model Checker on Time?

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 1999-10-05 19:49:32
            546

            The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) ATP as a promising adjunctive agent for chemotherapy of mycobacterial infection Haruaki Tomiok

            Add to Reading List

            Source URL: www.formatex.info

            Language: English - Date: 2015-04-20 05:07:11
              547

              BRICS Basic Research in Computer Science BRICS DS-03-1 C. Brabrand: Domain Specific Languages for Interactive Web Services

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2004-04-01 19:24:53
                548

                BRICS Basic Research in Computer Science BRICS RSMcKinna & Pollack: Some Lambda Calculus and Type Theory Formalized Some Lambda Calculus and Type Theory

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 1998-01-16 05:32:52
                  549

                  The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) The role of interspecies interactions in the antibiotic production: A potential approach for p

                  Add to Reading List

                  Source URL: www.formatex.info

                  Language: English - Date: 2015-03-27 12:36:21
                    550

                    National Institute for Basic Biology Imaging Science LABORATORY FOR SPATIOTEMPORAL REGULATIONS

                    Add to Reading List

                    Source URL: www.nibb.ac.jp

                    Language: English - Date: 2013-07-26 03:37:22
                      UPDATE